Previous Next Tracker index See it online !

(84/185) 202 - MetalColor - eliminate the side borders around textArea

Hi,

I do not know if the MetalColor plugin is the right way to implement this feature, but I hope I am not too far off. I love the adjust the scrollbar width feature of the plugin, but I wanted to ask if it is possible to also to somehow omit the left and more importantly the right border around the textArea, as it is in many applications, for example Firefox (see attached picture). This way, when jEdit is maximized, I do not have to concentrate on finding the scrollbar with the mouse pointer but I can simply go to the right side of the screen and be sure that any click will be on the scrollbar. This would be very convenient especially with reduced width scrollbars.

Thanks, tvojeho

Submitted	tvojeho - 2010-04-23 13:21:22	Assigned
Priority	5	Labels
Status	open	Group	None
Resolution	None

Comments

2010-04-23 13:21:23 tvojeho	picture.jpg (8.7Kio)
2010-05-07 21:19:14 jturcotte	What the plugin does is override some properties used by the theme engine of the default Java look'n feel to customize stuff for different platform themes. There happened to be a ScrollBar.width that did it for the scroll bars, however I can't see one that might remove the extra pixel you are talking about. (It does annoy me as well) Look at OceanTheme.java: http://www.docjar.com/html/api/javax/swing/plaf/metal/OceanTheme.java.html My guess is that this can't be done using the default Metal/Ocean theme. You might be able to get it using the LookAndFeel plugin and choose a different LAF, you would also lose the scroll bar width customization unless the LAF does it as well.
2010-05-08 09:09:38 tvojeho	That's unfortunate. Thanks for looking at it, anyway. tvojeho

2010-04-23 13:21:23
tvojeho

picture.jpg (8.7Kio)

2010-05-07 21:19:14
jturcotte

What the plugin does is override some properties used by the theme engine of the default Java look'n feel to customize stuff for different platform themes.

There happened to be a ScrollBar.width that did it for the scroll bars, however I can't see one that might remove the extra pixel you are talking about. (It does annoy me as well)
Look at OceanTheme.java:
http://www.docjar.com/html/api/javax/swing/plaf/metal/OceanTheme.java.html

My guess is that this can't be done using the default Metal/Ocean theme. You might be able to get it using the LookAndFeel plugin and choose a different LAF, you would also lose the scroll bar width customization unless the LAF does it as well.

2010-05-08 09:09:38
tvojeho

That's unfortunate. Thanks for looking at it, anyway.

tvojeho